The isomorphism relation between tree-automatic Structures
نویسندگان
چکیده
منابع مشابه
The Isomorphism Relation Between Tree-Automatic Structures
An ω-tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism problem for ω-tree-automatic structures. We prove first that the isomorphism relation for ω-treeautomatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative gro...
متن کاملOn Isomorphism Invariants of Some Automatic Structures
In this paper we study structures defined by finite automata, called automatic structures. We provide a method that reduces the study of automatic structures to the study of automatic graphs. We investigate isomorphism invariants of automatic structures with an emphasis to equivalence relation structures, linearly ordered sets, and permutation structures.
متن کاملDeciding the isomorphism problem in classes of unary automatic structures
We solve the isomorphism problem for certain classes of unary automatic structures: unary automatic equivalence relations, unary automatic linear orders, and unary automatic trees. That is, we provide algorithms which decide whether two given elements of these classes are isomorphic. In doing so, we define new finite representations for these structures which give normal forms. 1
متن کاملA Hierarchy of Tree-Automatic Structures
We consider ω-automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length ω for some integer n ≥ 1. We show that all these structures are ω-tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for ω-automatic (resp. ω-automatic for n > 2) boolean algebras (respe...
متن کاملRelation Between RNA Sequences, Structures, and Shapes via Variation Networks
Background: RNA plays key role in many aspects of biological processes and its tertiary structure is critical for its biological function. RNA secondary structure represents various significant portions of RNA tertiary structure. Since the biological function of RNA is concluded indirectly from its primary structure, it would be important to analyze the relations between the RNA sequences and t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Central European Journal of Mathematics
سال: 2010
ISSN: 1895-1074,1644-3616
DOI: 10.2478/s11533-010-0014-7